Interaction Design Language Q: The Initial Proposal
نویسندگان
چکیده
منابع مشابه
Interaction nets: programming language design and implementation
This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. In the same way that the λ -calculus is the foundation for functional programming, or horn clauses are the foundation for logic programming, we give in this paper an overview of a substantial software system that is curr...
متن کاملEvaluating a Pattern Language as Shared Language for Interaction Design
Few studies have empirically evaluated pattern languages as a shared language for interaction design. In the HCI community, interaction patterns proliferate, but consensus on what constitutes a pattern language is missing. We evaluate four criteria required of a pattern language, and its impact on shared understanding. Keyword Pattern-Language Evaluating a Pattern Language as Shared Language fo...
متن کاملThe SMT-LIB Format: An Initial Proposal
This paper is a first proposal for a common format for the Satisfiability Modulo Theories Library, or SMT-LIB for short. The main goal of the SMT-LIB initiative [2], coordinated by these authors and supported by a growing number of researchers world-wide, is to produce a on-line library of benchmarks for satisfiability modulo theories. By benchmark we mean a logical formula to be checked for sa...
متن کاملThe relationship between Interaction Types and Language Learning Styles
Language learning styles are among the main factors that help determine how –and how well–our students learn a second or foreign language. In the traditional classroom, the primarymode of interaction was face-to-face dialogue between the teacher and the student. This studypresents an analysis of the types of interaction in Jahad-e-Daneshgahi Institute, among 45EFL students in Miyaneh city, and ...
متن کاملinvestigating the interaction of language knowledge and strategic competence in the performance of efl learners on reading-to-write and writing-only test tasks
این مطالعه به دو روش کمی و کیفی و با هدف بررسی استراتژی های فراشناختی فراگیران زبان انگلیسی به عنوان زبان خارجی در دو آزمون نوشتن و نوشتن ترکیبی انجام پذیرفت. در بخش کمی برای سنجش میزان استراتژی های فراشناختی از یک پرسشنامه که بر اساس مدل بکمن و پالمر (1996) ساخته شده بود استفاده شد. پایایی و روایی سازه ی پرسشنامه هنگام مطالعه ی پایلوت و روایی محتوای آن با جمع آوری نظرات نُه متخصص در رشته سنجیده...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Japanese Society for Artificial Intelligence
سال: 2002
ISSN: 1346-0714,1346-8030
DOI: 10.1527/tjsai.17.166